nLab Nicolaas de Bruijn

Nicolaas Govert (“Dick”) de Bruijn (1918-2012) was a Dutch mathematician, famous for his Automath project.

• Wikipedia

Selected writings

Introducing de Bruijn indices:

• Nicolaas de Bruijn, Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem, Indagationes Mathematicae (Proceedings) 75 5 (1972) 381-392 [doi:10.1016/1385-7258(72)90034-0, pdf]

Introducing the notion of type telescopes:

• Nicolaas de Bruijn, §3.1 Telescopic mappings in typed lambda calculus, Information and Computation 91 2 (1991) 189-204 [doi:10.1016/0890-5401(91)90066-B]

On types (type theory) in mathematics:

• Nicolaas G. de Bruijn, On the roles of types in mathematics, Cahier du Centre de Logique 8 (1992) [pdf, pdf]

Related entries

• Automath

• de Bruijn indices

• type telescope